Optimal. Leaf size=57 \[ -\frac{\left (a^2+b^2\right ) \log (a+b \sinh (c+d x))}{a b^2 d}+\frac{\log (\sinh (c+d x))}{a d}+\frac{\sinh (c+d x)}{b d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.128075, antiderivative size = 57, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 27, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.111, Rules used = {2837, 12, 894} \[ -\frac{\left (a^2+b^2\right ) \log (a+b \sinh (c+d x))}{a b^2 d}+\frac{\log (\sinh (c+d x))}{a d}+\frac{\sinh (c+d x)}{b d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2837
Rule 12
Rule 894
Rubi steps
\begin{align*} \int \frac{\cosh ^2(c+d x) \coth (c+d x)}{a+b \sinh (c+d x)} \, dx &=-\frac{\operatorname{Subst}\left (\int \frac{b \left (-b^2-x^2\right )}{x (a+x)} \, dx,x,b \sinh (c+d x)\right )}{b^3 d}\\ &=-\frac{\operatorname{Subst}\left (\int \frac{-b^2-x^2}{x (a+x)} \, dx,x,b \sinh (c+d x)\right )}{b^2 d}\\ &=-\frac{\operatorname{Subst}\left (\int \left (-1-\frac{b^2}{a x}+\frac{a^2+b^2}{a (a+x)}\right ) \, dx,x,b \sinh (c+d x)\right )}{b^2 d}\\ &=\frac{\log (\sinh (c+d x))}{a d}-\frac{\left (a^2+b^2\right ) \log (a+b \sinh (c+d x))}{a b^2 d}+\frac{\sinh (c+d x)}{b d}\\ \end{align*}
Mathematica [A] time = 0.0817595, size = 48, normalized size = 0.84 \[ \frac{-\left (\frac{a}{b^2}+\frac{1}{a}\right ) \log (a+b \sinh (c+d x))+\frac{\log (\sinh (c+d x))}{a}+\frac{\sinh (c+d x)}{b}}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.078, size = 178, normalized size = 3.1 \begin{align*} -{\frac{1}{bd} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) +1 \right ) ^{-1}}+{\frac{a}{{b}^{2}d}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) +1 \right ) }-{\frac{1}{bd} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -1 \right ) ^{-1}}+{\frac{a}{{b}^{2}d}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -1 \right ) }+{\frac{1}{da}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) }-{\frac{a}{{b}^{2}d}\ln \left ( \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{2}a-2\,\tanh \left ( 1/2\,dx+c/2 \right ) b-a \right ) }-{\frac{1}{da}\ln \left ( \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{2}a-2\,\tanh \left ( 1/2\,dx+c/2 \right ) b-a \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.08799, size = 176, normalized size = 3.09 \begin{align*} -\frac{{\left (d x + c\right )} a}{b^{2} d} + \frac{e^{\left (d x + c\right )}}{2 \, b d} - \frac{e^{\left (-d x - c\right )}}{2 \, b d} + \frac{\log \left (e^{\left (-d x - c\right )} + 1\right )}{a d} + \frac{\log \left (e^{\left (-d x - c\right )} - 1\right )}{a d} - \frac{{\left (a^{2} + b^{2}\right )} \log \left (-2 \, a e^{\left (-d x - c\right )} + b e^{\left (-2 \, d x - 2 \, c\right )} - b\right )}{a b^{2} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 3.20018, size = 533, normalized size = 9.35 \begin{align*} \frac{2 \, a^{2} d x \cosh \left (d x + c\right ) + a b \cosh \left (d x + c\right )^{2} + a b \sinh \left (d x + c\right )^{2} - a b - 2 \,{\left ({\left (a^{2} + b^{2}\right )} \cosh \left (d x + c\right ) +{\left (a^{2} + b^{2}\right )} \sinh \left (d x + c\right )\right )} \log \left (\frac{2 \,{\left (b \sinh \left (d x + c\right ) + a\right )}}{\cosh \left (d x + c\right ) - \sinh \left (d x + c\right )}\right ) + 2 \,{\left (b^{2} \cosh \left (d x + c\right ) + b^{2} \sinh \left (d x + c\right )\right )} \log \left (\frac{2 \, \sinh \left (d x + c\right )}{\cosh \left (d x + c\right ) - \sinh \left (d x + c\right )}\right ) + 2 \,{\left (a^{2} d x + a b \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )}{2 \,{\left (a b^{2} d \cosh \left (d x + c\right ) + a b^{2} d \sinh \left (d x + c\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cosh ^{2}{\left (c + d x \right )} \coth{\left (c + d x \right )}}{a + b \sinh{\left (c + d x \right )}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.5483, size = 146, normalized size = 2.56 \begin{align*} \frac{\frac{2 \, a d x}{b^{2}} + \frac{e^{\left (d x + c\right )}}{b} - \frac{e^{\left (-d x - c\right )}}{b} + \frac{2 \, \log \left (e^{\left (d x + c\right )} + 1\right )}{a} + \frac{2 \, \log \left ({\left | e^{\left (d x + c\right )} - 1 \right |}\right )}{a} - \frac{2 \,{\left (a^{2} + b^{2}\right )} \log \left ({\left | b e^{\left (2 \, d x + 2 \, c\right )} + 2 \, a e^{\left (d x + c\right )} - b \right |}\right )}{a b^{2}}}{2 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]